21. Proof Theory of Modal Logic
Author: edited by Heinrich Wansing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
22. The Art of the Intelligible :
Author: by John L. Bell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
Classification :
B67
23. Trends in Logic
Author: edited by Vincent F. Hendricks, Jacek Malinowski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
